Введите слово или словосочетание на любом языке 👆
Язык:
Перевод и анализ слов искусственным интеллектом ChatGPT
На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:
- как употребляется слово
- частота употребления
- используется оно чаще в устной или письменной речи
- варианты перевода слова
- примеры употребления (несколько фраз с переводом)
- этимология
Что (кто) такое specification language - определение
Найдено результатов: 7827
Specification language
FORMAL LANGUAGE USED IN COMPUTER SCIENCE
Formal Specification language; Formal specification language; Implementation language; Implementation languages; List of specification languages
A specification language is a formal language in computer science used during systems analysis, requirements analysis, and systems design to describe a system at a much higher level than a programming language, which is used to produce the executable code for a system.Joseph Goguen
IMPlementation language
FORMAL LANGUAGE USED IN COMPUTER SCIENCE
Formal Specification language; Formal specification language; Implementation language; Implementation languages; List of specification languages
<language> (IMP) An extension of B with floating-point
operations, developed by W. Davidsen at General Electric in
1970 for the GE 600. It was also cross-compiled to VAX
and Intel 8080.
(1996-04-07)
Programming language specification
DOCUMENTATION ARTIFACT THAT DEFINES A PROGRAMMING LANGUAGE
Language specification
In computer programming, a programming language specification (or standard or definition) is a documentation artifact that defines a programming language so that users and implementors can agree on what programs in that language mean. Specifications are typically detailed and formal, and primarily used by implementors, with users referring to them in case of ambiguity; the C++ specification is frequently cited by users, for instance, due to the complexity.
Universal Test Specification Language
PROGRAMMING LANGUAGE
Draft:UTSL (Universal Test Specification Language); Draft:Universal Test Specification Language
Universal Test Specification Language (UTSL) is a programming language used to describe ASIC tests in a format that leads to an automated translation of the test specification into an executable test code. UTSL is platform independent and provided a code generation interface for a specific platform is available, UTSL code can be translated into the programming language of a specific Automatic Test Equipment (ATE).
Language-independent specification
COMPUTER PROGRAMMING STANDARD MEANT TO BE INTEROPERABLE ACROSS PROGRAMMING LANGUAGES
Language Independent Specification
A language-independent specification (LIS) is a programming language specification providing a common interface usable for defining semantics applicable toward arbitrary language bindings.
Distributed Application Specification Language
PROGRAMMING LANGUAGE
DASL Programming Language; DASL - Distributed Application Specification Language
The DASL Programming Language (Distributed Application Specification Language) is a high-level, strongly typed programming language originally developed at Sun Microsystems Laboratories between 1999 and 2003 as part of the Ace Project. The goals of the project were to enable rapid development of web-based applications based on Sun's J2EE architecture, and to eliminate the steep learning curve of platform-specific details.
Specification and Description Language
ITU-SPECIFIED SYSTEM DESCRIPTION LANGUAGE
Specification and Design Language; Langage de description et de spécification; List of SDL tools; SDL-RT
Specification and Description Language (SDL) is a specification language targeted at the unambiguous specification and description of the behaviour of reactive and distributed systems.
Document Style Semantics and Specification Language
COMPUTER LANGUAGE FOR SPECIFYING STYLESHEETS FOR SGML DOCUMENTS
DSSSL; Document style semantics and specification language; ISO/IEC 10179; Document Style Semantics & Specification Language
RAISE Specification Language
ACRONYM RIGOROUS APPROACH TO INDUSTRIAL SOFTWARE ENGINEERING
RAISE Specification Language; RAISE specification language
<language> (RSL) (RAISE = Rigorous Approach to Industrial
Software Engineering). A wide-spectrum specification and
design language developed by ESPRIT Project 315 at CRI
A/S, Denmark. Systems may be modular, concurrent and
nondeterministic. Specifications may be applicative or
imperative, explicit or implicit, abstract or concrete.
["The RAISE Specification Language", RAISE Language Group, P-H
1992, ISBN 0-13-752833-7 ].
(2007-10-02)
Common Algebraic Specification Language
The Common Algebraic Specification Language (CASL) is a general-purpose specification language based on first-order logic with induction. Partial functions and subsorting are also supported.
